Видео с ютуба Simons Institute
Computer Architecture 101 and its Future
Fireside Chat with Simons Institute Director Dick Karp
How Do Transformers Work?
Is Your Model Predicting the Past?
Simons Institute for the Theory of Computing
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Adventures with an Automatic Prover
Lower Bounds on the Size of Linear Programs
Beyond P versus NP: Using Complexity Theory in Obfuscation and Vice-Versa
Welcome
The Mathematics of Causal Inference, with Reflections on Machine Learning and the Logic of Science
Simons Institute for the Theory of Computing at UC Berkeley
Generalization via analogy in young children and Large Models.
The Deep Learning Revolution: What Does It Tell Us About Our Understanding of Intelligence?
Quantum Supremacy Using a Programmable Superconducting Processor I